An XML/XSL Approach to Visualize and Animate TCOZ
نویسندگان
چکیده
) (* + (, (*-. /0 12 34( "5 4#6( 87 34 9 : ;34 =<2 1 ># / ( , 4( 810 #234 / (? 3@ 34 212 "$ ? :/ ( AB34 "C(D 12 34(," # / #E( / 34 ( F 0 G 1H 34/ ,34 / (, I 1 %
منابع مشابه
A XML/XSL Approach to Visualize and Animate TCOZ
The hallenge for system spe i ation is how to visually and pre isely apture stati , dynami and real-time system properties in a highly stru tured way. Timed Communi ating Obje t-Z (TCOZ) is an integrated formal notation that build on Obje t-Z's strengths in modeling omplex data and state, and on Timed CSP's strengths in modeling pro ess ontrol and real-time intera tions. In this paper, we demon...
متن کاملA Formal Object Approach to the Design of ZML
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design process. In particular, the paper presents a XML/XSL approach to the development of a web environment for Z family languages (Z/Object-Z/TCOZ). The projection techniques and tools from object-oriented Z (in XML) to UML (i...
متن کاملA Generic Data Form Designer Based on XML/XSL Technology
Extensible Markup Language (XML) and Extensible Stylesheet Language (XSL) are newly developed Internet protocols. Development of custom data entry forms requires significant programming. Visual design tools and a modifiable, template-driven approach may facilitate this process. However, these approaches generally require the predefinition of data form element types. This paper describes an appr...
متن کاملXML-Based Static Type Checking and Dynamic Visualization for TCOZ
Timed Communicating Object Z(TCOZ) combines Object-Z’s strengths in modelling complex data and state with TCSP’s strengths in modeling real-time concurrency. Based on our previous work on the XML environment for TCOZ, this paper firstly demonstrates the development of a type checker for detecting static semantic errors of the TCOZ specification, then illustrates a transformation tool to automat...
متن کاملWhy XSL is not suitable for Semantic Translation
Recently, XML [XML] has been extended with a capability, called XSLT, [XSL] for translating XML data compliant with one DTD into XML compliant with another DTD. This approach has been hailed as the general solution for data transformation in database systems that can solve any and all data integration problems by providing a simple way for transforming data. In this note I will briefly review t...
متن کامل